8

Tractable Refinement Checking for Concurrent Objects

Year:
2015
Language:
english
File:
PDF, 986 KB
english, 2015
10

On verifying causal consistency

Year:
2017
Language:
english
File:
PDF, 443 KB
english, 2017
14

On reducing linearizability to state reachability

Year:
2018
Language:
english
File:
PDF, 517 KB
english, 2018